TSTP Solution File: NUM706^4 by Nitpick---2016